england scotland theorem proving university of edinburgh webpage development postgraduate knowledge representation edinburgh glasgow